User Interface
--------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics)

- - - -


### Repositories

[akalenuk/16counters: GUI for those who don't do GUI](https://github.com/akalenuk/16counters) ★★★

[art-w/unicorn: Purely functional GUI algebra](https://github.com/art-w/unicorn) ★★

_(in [Calculus of Constructions](../Calculus%20of%20Constructions/README.md#calculus-of-constructions))_ [atennapel/coc-os: "operating system" based on the calculus of constructions](https://github.com/atennapel/coc-os) ★ [💭](commentary/Chris%20Pressey.md#atennapel-coc-os-operating-system-based-on-the-calculus-of-constructions)

_(in [PLDI](../PLDI/README.md#pldi))_ [ibrahimsag/rw: an experiment in presenting code.](https://github.com/ibrahimsag/rw) ★★★


### Books

The Humane Interface (borrow @ [archive.org](https://archive.org/details/humaneinterfacen00rask)) ★★

Constructing the User Interface with Statecharts (borrow @ [archive.org](https://archive.org/details/isbn_9780201342789)) ★